- label checking
- Вычислительная техника: проверка меток
Универсальный англо-русский словарь. Академик.ру. 2011.
label checking
Смотреть что такое "label checking" в других словарях:
Units conversion by factor-label — Many, if not most, parameters and measurements in the physical sciences and engineering are expressed as a numerical quantity and a corresponding dimensional unit; for example: 1000 kg/m³, 100 kPa/bar, 50 miles per hour, 1000 Btu/lb. Converting… … Wikipedia
Nervous System Checking — EP by Infernal Poetry Released January, 2007 Recorded Potemkin Studios Genre SchizoMetal … Wikipedia
Nutrition facts label — A sample nutrition facts label, with instructions from the U.S. Food and Drug Administration.[1] The nutrition facts label (also known as the nutrition information panel, and various other slight variations) is a label required on most packaged… … Wikipedia
Skeleton Crew (record label) — Infobox Company company name = Skeleton Crew (S//C) company industry = Clothing, Music, Literature homepage = [http://www.skeletoncrewonline.com Skeleton Crew online] Skeleton Crew is a record label, book publisher, and clothing design company… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Microsoft Macro Assembler — Developer(s) Microsoft Stable release 10.0.30319.1 / April 12, 2010; 18 months ago (2010 04 12) Operating system Microsoft Windows and MS DOS … Wikipedia
Obsessive-compulsive disorder — (OCD) is a chronic anxiety disorder most commonly characterized by obsessive, distressing, intrusive thoughts and related compulsions. Compulsions are tasks or rituals which attempt to neutralize the obsessions. OCD is distinguished from other… … Wikipedia
Algorithmics of sudoku — The class of Sudoku puzzles consists of a partially completed row column grid of cells partitioned into N regions or zones each of size N cells, to be filled in using a prescribed set of N distinct symbols (typically the numbers {1, ..., N }), so … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Check weigher — Example checkweigher. Product passes on the conveyor belt where it is weighed A checkweigher is an automatic machine for checking the weight of packaged commodities. It is normally found at the offgoing end of a production process and is used to… … Wikipedia
Comparison of email clients — The following tables compare general and technical features of a number of e mail client programs. Please see the individual products articles for further information. This article is not all inclusive or necessarily up to date. Contents 1… … Wikipedia
